dstype(${\it TypeNames}$; $d$; $a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($d$.1)($a$)